- автоматический верификатор
- автоматический верификатор м. выч. automatischer Verifizierer m
Большой русско-немецкий полетехнический словарь. 2009.
Большой русско-немецкий полетехнический словарь. 2009.
автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier … Справочник технического переводчика